first translation theorem